Inhalt des Dokuments
zur Navigation
Inhalt des Dokuments
Forschung
Artikel akzeptiert bei DisCoTec-Konferenz FORTE 2022
Samstag, 26. März 2022
Der Artikel "Fault-Tolerant Multiparty Session Types" (Coautor:innen Kirstin Peters, Uwe Nestmann und Christoph Wagner) wurde zur Publikation bei der DisCoTec-Konferenz FORTE (Formal Techniques for Distributed Algorithms) akzeptiert.